261. The essential Turing
پدیدآورنده: / edited by B. Jack Copeland
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Turing, Alan Mathison,--1912-1954,Mathematics.,Logic, Symbolic and mathematical.,Enigma cipher system.,Artificial intelligence.
رده :
QA7
,.
T772
,
2004
262. The logic of information structures
پدیدآورنده: Wansing, Heinrich T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
263. The logic of information structures
پدیدآورنده: Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
264. The mathematics of inheritance systems /
پدیدآورنده: David S. Touretzky
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence,Computer architecture,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
A73
T67
1986
265. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
266. Theory and Applications of Formal Argumentation.
پدیدآورنده: \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
9
.
T46
2015
E-Book
,
267. Theory and Applications of Formal Argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
پدیدآورنده: edited by Elizabeth Black, Sanjay Modgil, Nir Oren
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Artificial intelligence,، Computer logic,، Computer science
رده :
QA
76
.
9
.
T34
2018
268. Towards Evolvable Hardware :
پدیدآورنده: edited by Eduardo Sanchez, Marco Tomassini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
TK7888
.
4
E358
1996
269. Trends in applied intelligent systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Industrial applications ; Congresses. ; Fuzzy systems ; Industrial applications ; Congresses. ; Fuzzy logic ; Industrial applications ; Congresses. ;
270. Type-2 fuzzy logic in intelligent control applications
پدیدآورنده: Castillo, Oscar
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع: ، Artificial intelligence,، Fuzzy logic,، Engineering
رده :
QA
9
.
64
.
C37
T97
271. Type-2 fuzzy logic in intelligent control applications
پدیدآورنده: Oscar Castillo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence,Fuzzy logic
رده :
QA9
.
64
.
C37
2012eb
272. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
پدیدآورنده: by Bilal M. Ayyub, Madan M. Gupta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
273. Uncertainty-Based Information
پدیدآورنده: by George J. Klir, Mark J. Wierman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
274. Uncertainty treatment using paraconsistent logic
پدیدآورنده: Joao Inacio da Silva Filho, Germano Lambert-Torres and Jair Minoro Abe
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع: Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence
رده :
QA
,
76
.
87
,.
S57
,
2010
275. Wissensbasierte Systeme.
پدیدآورنده: Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
276. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992
277. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
63
.
N67
1993
278. افسانه هوش مصنوعی
پدیدآورنده: / اریک لارسون,عنوان اصلی: The myth of artificial intelligence : why computers can't think the way we do, 2021.,لارسن,Larson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: هوش مصنوعی,Artificial intelligence,هوش,Intellect,استنتاج ,Inference ,منطق,Logic,پردازش زبان طبیعی,Natural language processing (Computer science),عصب پایه‌شناسی,Neurosciences,a01,a01,a02,a02,a03,a03,a04,a04,a05,a05,a06,a06
رده :
Q
۳۳۵
/
ل
۲
الف
۷ ۱۴۰۲
279. بررسی روشهای مختلف نجات در آتش نشانی و تعیین پارامترهای انسانی در آن
پدیدآورنده: /نگار خسروشاهلی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Robocup Rescue,Artificial Intelligence,Fuzzy Logic,Fuzzy Inference,Neural Networks,Multilayer Prceptron,Taboo Search,Behavior modeling
280. فناوری های هوشمند مهندسی
پدیدآورنده: /مولف: رضا رفیعی طباطبایی,پشت جلد به انگلیسی : smart engineeing technology and it's application in smart city and smart building,رفیعی طباطبایی
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: هوش مصنوعی,Artificial intelligence,سیستم‌های کنترل هوشمند,Intelligent control systems,منطق فازی,Fuzzy Logic,س‍ی‍ب‍رن‍ت‍ی‍ک,Cybernetics,س‍ی‍ب‍رن‍ت‍ی‍ک,سرومکانیسم,Servomechanisms,کنترل‌کننده‌های برنامه‌پذیر,Programmable controllers,ساختمان‌های هوشمند,Intelligent buildings,a03,a03,a05,a05,a07,a07,a09,a09,a09,a12,a12,a15,a15,a18,a18,سامانه های کنترل بازخورد روباتیک,اینترنت اشیاء
رده :
Q
۳۳۵
/
ر
۷۶
ف
۸ ۱۳۹۷
